import sketch.ounit.Values;
import sketch.ounit.fuzz.ExceptionThrowingCode;



public class ExceptionThrownCodeTest extends junit.framework.TestCase {
	public void testExceptionThrown() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		Values.randomFuzz(code, ExceptionThrowingCode.class);
		code.openFlag();
		Values.randomFuzz(code, ExceptionThrowingCode.class);
		code.closeFlag();
	}
}
